distinguish X32 from I386
authorAndreas Beckmann <anbe@debian.org>
Fri, 5 Sep 2025 14:31:05 +0000 (16:31 +0200)
committerAndreas Beckmann <anbe@debian.org>
Fri, 5 Sep 2025 14:31:05 +0000 (16:31 +0200)
commitfbf3947e8447c1eff666f4f1def9674ce6045558
tree20ff3e5ea77c3624766a3de30b20a3e69159fff2
parent19d9f1461af2c61225a7e51e7f3481753c666532
distinguish X32 from I386

Gbp-Pq: Name x32.patch
CMakeLists.txt
lib/kernel/host/CMakeLists.txt